Roychoudhury, Abhik: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Relating software validation to technology trends

Zhiming Liu, Abhik Roychoudhury

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 153 KB

english, 2012

2

[IEEE 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) - Porto, Portugal (2020.10.24-2020.10.28)] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) - AFLNET: A Greybox Fuzzer for Network Protocols

Pham, Van-Thuan, Bohme, Marcel, Roychoudhury, Abhik

Year:

2020

File:

PDF, 239 KB

2020

3

Coverage-based Greybox Fuzzing as Markov Chain

Bohme, Marcel, Pham, Van-Thuan, Roychoudhury, Abhik

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 1.43 MB

english, 2017

4

[IEEE 2011 IEEE 32nd Real-Time Systems Symposium (RTSS) - Vienna, Austria (2011.11.29-2011.12.2)] 2011 IEEE 32nd Real-Time Systems Symposium - Timing Analysis of a Protected Operating System Kernel

Blackham, Bernard, Shi, Yao, Chattopadhyay, Sudipta, Roychoudhury, Abhik, Heiser, Gernot

Year:

2011

Language:

english

File:

PDF, 313 KB

english, 2011

5

Formula-based software debugging

Roychoudhury, Abhik, Chandra, Satish

Journal:

Communications of the ACM

Year:

2016

Language:

english

File:

PDF, 957 KB

english, 2016

6

EnergyPatch: Repairing Resource Leaks to Improve Energy-efficiency of Android Apps

Banerjee, Abhijeet, Chong, Lee Kee, Ballabriga, Clement, Roychoudhury, Abhik

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 680 KB

english, 2017

7

Software Change Contracts

Yi, Jooyong, Qi, Dawei, Tan, Shin Hwei, Roychoudhury, Abhik

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2015

Language:

english

File:

PDF, 1.72 MB

english, 2015

8

Test-Equivalence Analysis for Automatic Patch Generation

Mechtaev, Sergey, Gao, Xiang, Tan, Shin Hwei, Roychoudhury, Abhik

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2018

Language:

english

File:

PDF, 1.75 MB

english, 2018

9

[IEEE 2013 IEEE 34th Real-Time Systems Symposium (RTSS) - Vancouver, BC, Canada (2013.12.3-2013.12.6)] 2013 IEEE 34th Real-Time Systems Symposium - Integrated Timing Analysis of Application and Operating Systems Code

Chong, Lee Kee, Ballabriga, Clement, Pham, Van-Thuan, Chattopadhyay, Sudipta, Roychoudhury, Abhik

Year:

2013

Language:

english

File:

PDF, 405 KB

english, 2013

10

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Synthesis and Traceability of Scenario-Based Executable Models

Goel, Ankit, Roychoudhury, Abhik

Year:

2006

Language:

english

File:

PDF, 726 KB

english, 2006

11

[ACM Press the 38th International Conference - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 38th International Conference on Software Engineering - ICSE '16 - Angelix

Mechtaev, Sergey, Yi, Jooyong, Roychoudhury, Abhik

Year:

2016

Language:

english

File:

PDF, 469 KB

english, 2016

12

[IEEE 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07) - Bangalore, India (2007.01.6-2007.01.10)] 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07) - Tutorial T8B: Performance Debugging of Complex Embedded Systems

Chakraborty, Samarjit, Roychoudhury, Abhik

Year:

2007

Language:

english

File:

PDF, 153 KB

english, 2007

13

Modeling Control Speculation for Timing Analysis

Xianfeng Li, Tulika Mitra, Abhik Roychoudhury

Journal:

Real-Time Systems

Year:

2005

Language:

english

File:

PDF, 386 KB

english, 2005

14

An unfold/fold transformation framework for definite logic programs

Roychoudhury, Abhik, Kumar, K. Narayan, Ramakrishnan, C. R., Ramakrishnan, I. V.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2004

Language:

english

File:

PDF, 290 KB

english, 2004

15

Memory model sensitive bytecode verification

Thuan Quang Huynh, Abhik Roychoudhury

Journal:

Formal Methods in System Design

Year:

2007

Language:

english

File:

PDF, 479 KB

english, 2007

16

[IEEE 2009 IEEE 30th Real-Time Systems Symposium (RTSS) - Washington DC, USA (2009.12.1-2009.12.4)] 2009 30th IEEE Real-Time Systems Symposium - Unified Cache Modeling for WCET Analysis and Layout Optimizations

Chattopadhyay, Sudipta, Roychoudhury, Abhik

Year:

2009

Language:

english

File:

PDF, 386 KB

english, 2009

17

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Golden implementation driven software debugging

Banerjee, Ansuman, Roychoudhury, Abhik, Harlie, Johannes A., Liang, Zhenkai

Year:

2010

Language:

english

File:

PDF, 531 KB

english, 2010

18

[ACM Press the 2014 International Symposium - San Jose, CA, USA (2014.07.21-2014.07.25)] Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014 - CoREBench: studying complexity of regression errors

Böhme, Marcel, Roychoudhury, Abhik

Year:

2014

Language:

english

File:

PDF, 424 KB

english, 2014

19

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - Accurate timing analysis by modeling caches, speculation and their interaction

Li, Xianfeng, Mitra, Tulika, Roychoudhury, Abhik

Year:

2003

Language:

english

File:

PDF, 211 KB

english, 2003

20

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - Expressing and checking intended changes via software change contracts

Yi, Jooyong, Qi, Dawei, Tan, Shin Hwei, Roychoudhury, Abhik

Year:

2013

Language:

english

File:

PDF, 296 KB

english, 2013

21

[ACM Press the 12th annual international conference - Fukuoka, Japan (2013.03.24-2013.03.29)] Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13 - Past expression

Yi, Jooyong, Robby,, Deng, Xianghua, Roychoudhury, Abhik

Year:

2013

Language:

english

File:

PDF, 802 KB

english, 2013

22

[IEEE 2007 Asia and South Pacific Design Automation Conference - Yokohama, Japan (2007.01.23-2007.01.26)] 2007 Asia and South Pacific Design Automation Conference - A Retargetable Software Timing Analyzer Using Architecture Description Language

Li, Xianfeng, Roychoudhury, Abhik, Mitra, Tulika, Mishra, Prabhat, Cheng, Xu

Year:

2007

Language:

english

File:

PDF, 220 KB

english, 2007

23

[IEEE 2011 IEEE 32nd Real-Time Systems Symposium (RTSS) - Vienna, Austria (2011.11.29-2011.12.2)] 2011 IEEE 32nd Real-Time Systems Symposium - Scalable and Precise Refinement of Cache Timing Analysis via Model Checking

Chattopadhyay, Sudipta, Roychoudhury, Abhik

Year:

2011

Language:

english

File:

PDF, 272 KB

english, 2011

24

[ACM Press the 2011 SIGPLAN/SIGBED conference - Chicago, IL, USA (2011.04.11-2011.04.14)] Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '11 - Static bus schedule aware scratchpad allocation in multiprocessors

Chattopadhyay, Sudipta, Roychoudhury, Abhik

Year:

2011

Language:

english

File:

PDF, 608 KB

english, 2011

25

Compactly representing parallel program executions

Goel, Ankit, Roychoudhury, Abhik, Mitra, Tulika

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 206 KB

english, 2003

26

[ACM Press Proceeding of the 3rd international workshop - Waikiki, Honolulu, HI, USA (2011.05.23-2011.05.24)] Proceeding of the 3rd international workshop on Principles of engineering service-oriented systems - PESOS '11 - Engineering multi-tenant software-as-a-service systems

Sengupta, Bikram, Roychoudhury, Abhik

Year:

2011

Language:

english

File:

PDF, 136 KB

english, 2011

27

[ACM Press the 15th international symposium - Kyoto, Japan (2002.10.02-2002.10.04)] Proceedings of the 15th international symposium on System Synthesis - ISSS '02 - Timing analysis of embedded software for speculative processors

Mitra, Tulika, Roychoudhury, Abhik, Li, Xianfeng

Year:

2002

Language:

english

File:

PDF, 196 KB

english, 2002

28

Preface

Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 56 KB

english, 2005

29

Static analysis of multi-core TDMA resource arbitration delays

Kelter, Timon, Falk, Heiko, Marwedel, Peter, Chattopadhyay, Sudipta, Roychoudhury, Abhik

Journal:

Real-Time Systems

Year:

2014

Language:

english

File:

PDF, 1.57 MB

english, 2014

30

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Partition-based regression verification

Bohme, Marcel, Oliveira, Bruno C. D. S., Roychoudhury, Abhik

Year:

2013

Language:

english

File:

PDF, 483 KB

english, 2013

31

[IEEE 2009 IEEE 30th Real-Time Systems Symposium (RTSS) - Washington DC, USA (2009.12.1-2009.12.4)] 2009 30th IEEE Real-Time Systems Symposium - Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores

Li, Yan, Suhendra, Vivy, Liang, Yun, Mitra, Tulika, Roychoudhury, Abhik

Year:

2009

Language:

english

File:

PDF, 686 KB

english, 2009

32

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - Automated path generation for software fault localization

Wang, Tao, Roychoudhury, Abhik

Year:

2005

Language:

english

File:

PDF, 101 KB

english, 2005

33

Path exploration based on symbolic output

Qi, Dawei, Nguyen, Hoang D. T., Roychoudhury, Abhik

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 2.02 MB

english, 2013

34

Smart Greybox Fuzzing

Pham, Van-Thuan, Boehme, Marcel, Santosa, Andrew Edward, Caciulescu, Alexandru Razvan, Roychoudhury, Abhik

Journal:

IEEE Transactions on Software Engineering

Year:

2019

Language:

english

File:

PDF, 974 KB

english, 2019

35

Modeling out-of-order processors for WCET analysis

Xianfeng Li, Abhik Roychoudhury, Tulika Mitra

Journal:

Real-Time Systems

Year:

2006

Language:

english

File:

PDF, 935 KB

english, 2006

36

Performance debugging of Esterel specifications

Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty

Journal:

Real-Time Systems

Year:

2012

Language:

english

File:

PDF, 1.24 MB

english, 2012

37

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Regression tests to expose change interaction errors

Böhme, Marcel, Oliveira, Bruno C. d. S., Roychoudhury, Abhik

Year:

2013

Language:

english

File:

PDF, 569 KB

english, 2013

38

Cache-aware timing analysis of streaming

Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele

Journal:

Real-Time Systems

Year:

2009

Language:

english

File:

PDF, 1.35 MB

english, 2009

39

[ACM Press the 13th International Workshop - St. Goar, Germany (2010.06.28-2010.06.29)] Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems - SCOPES '10 - Modeling shared cache and bus in multi-cores for timing analysis

Chattopadhyay, Sudipta, Roychoudhury, Abhik, Mitra, Tulika

Year:

2010

Language:

english

File:

PDF, 437 KB

english, 2010

40

[ACM Press the 24th international conference - Orlando, Florida (2002.05.19-2002.05.25)] Proceedings of the 24th international conference on Software engineering - ICSE '02 - Specifying multithreaded Java semantics for program verification

Roychoudhury, Abhik, Mitra, Tulika

Year:

2002

Language:

english

File:

PDF, 1.21 MB

english, 2002

41

Static bus schedule aware scratchpad allocation in multiprocessors

Chattopadhyay, Sudipta, Roychoudhury, Abhik

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 608 KB

english, 2011

42

[ACM Press the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - Amsterdam, The Netherlands (2009.08.24-2009.08.28)] Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09 - Darwin

Qi, Dawei, Roychoudhury, Abhik, Liang, Zhenkai, Vaswani, Kapil

Year:

2009

Language:

english

File:

PDF, 557 KB

english, 2009

43

A Unified WCET analysis framework for multicore platforms

Chattopadhyay, Sudipta, Chong, Lee Kee, Roychoudhury, Abhik, Kelter, Timon, Marwedel, Peter, Falk, Heiko

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2014

Language:

english

File:

PDF, 1.73 MB

english, 2014

44

[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - Symbolic message sequence charts

Roychoudhury, Abhik, Goel, Ankit, Sengupta, Bikram

Year:

2007

Language:

english

File:

PDF, 458 KB

english, 2007

45

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - relifix: Automated Repair of Software Regressions

Tan, Shin Hwei, Roychoudhury, Abhik

Year:

2015

Language:

english

File:

PDF, 687 KB

english, 2015

46

Static bus schedule aware scratchpad allocation in multiprocessors

Chattopadhyay, Sudipta, Roychoudhury, Abhik

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 608 KB

english, 2012

47

[IEEE 2017 IEEE/ACM 4th International Conference on Mobile Software Engineering and Systems (MOBILESoft) - Buenos Aires, Argentina (2017.5.22-2017.5.23)] 2017 IEEE/ACM 4th International Conference on Mobile Software Engineering and Systems (MOBILESoft) - Future of Mobile Software for Smartphones and Drones: Energy and Performance

Banerjee, Abhijeet, Roychoudhury, Abhik

Year:

2017

Language:

english

File:

PDF, 378 KB

english, 2017

48

Fuzzing: Challenges and Reflections

Boehme, Marcel, Cadar, Cristian, ROYCHOUDHURY, Abhik

Journal:

Year:

2020

File:

PDF, 332 KB

2020

49

[IEEE 2012 IEEE 19th International Conference on Web Services (ICWS) - Honolulu, HI, USA (2012.06.24-2012.06.29)] 2012 IEEE 19th International Conference on Web Services - Tenant Onboarding in Evolving Multi-tenant Software-as-a-Service Systems

Ju, Lei, Sengupta, Bikram, Roychoudhury, Abhik

Year:

2012

Language:

english

File:

PDF, 287 KB

english, 2012

50

[IEEE 2013 IEEE 34th Real-Time Systems Symposium (RTSS) - Vancouver, BC, Canada (2013.12.3-2013.12.6)] 2013 IEEE 34th Real-Time Systems Symposium - Static Analysis Driven Cache Performance Testing

Banerjee, Abhijeet, Chattopadhyay, Sudipta, Roychoudhury, Abhik

Year:

2013

Language:

english

File:

PDF, 338 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски